Beliefs:
  belief(a).

Goals:
  goal(a),
  goal(b),
  goal(c),
  goal(d),
  goal(e),
  goal(f),
  goal(g),
  goal(h),
  goal(i),
  goal(j)

Plans:
    while G( goal(j) ) do skip